EN FR
EN FR




Section: Dissemination

Teaching

  • Licence :

    • Mathematics, 20h, L1, Licence Frontiers in Life Sciences, Université Paris-Descartes, France.

    • Introduction to static analysis, 8h, L3, École des Mines de Paris, France.

    • Introduction to algorithmics, 40h, L2, École Polytechnique, Palaiseau, France.

    • Algorithmics and programming, 40h, L3, École Polytechnique, Palaiseau, France.

  • Master :

    • Computational Biology, 6h, M1, Interdisciplinary Approaches to Life Science (AIV) Master Program, Université Paris-Descartes, France

    • Abstract interpretation: application to verification and static analysis, 48h, niveau M2, Parisian Master of Research in Computer Science (MPRI), École normale supérieure, France.

    • Rule-based modeling and application to biomolecular networks, 8h, M1-M2, Master of Fundamental Research in Computer Science (MIF), École normale supérieure de Lyon, France

  • Doctorat :

    • Abstract Interpretation and its Applications, 19h, University of Bologna / University of Padova, Italy.

    • Abstract Interpretation-based Tool Construction for Software Verification, 8th LASER Summer School on Software Engineering (LASER 2011), Elba Island, Italy, September 4-10, 2011.

PhD & HdR :

  • HdR :

    • Xavier Rival, Abstract domains for the analysis of programs manipulating complex data-structures [8] , École Normale Supérieure, June, 24th, 2011.

  • PhD in progress :

    • Mehdi Bouaziz, November 2011, Patrick Cousot, École Normale Supérieure.

    • Ferdinanda Camporesi, Abstraction of Quantitative Semantics of Rule-based models, January 2009, Radhia Cousot and Jérôme Feret (co-directed thesis with Maurizio Gabrielli, University of Bologna).

    • Tie Cheng, Static analysis of spreadsheet macros, October 2011, Xavier Rival, École Polytechnique

    • Vincent Laviron, October 2009, Patrick Cousot, École Normale Supérieure.

    • Antoine Toubhans, Combination of shape abstract domains, October 2011, Xavier Rival, École Doctorale de Paris Centre

    • Caterina Urban, November 2011, Radhia Cousot, École Normale Supérieure.

    • Matteo Zanioli, October 2008, Radhia Cousot (co-directed thesis with Agostino Cortesi, University of Venezia).